Public Git Hosting - and.git/blob - 737 - Gleaming the cubes/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.editors.prefs

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD

[and.git] / 737 - Gleaming the cubes / .metadata / .plugins / org.eclipse.core.runtime / .settings / org.eclipse.ui.editors.prefs

blob	93d0185d50545d056e0adc619ccfe6c1de8f06a5

#Sat Mar 01 02:44:22 GMT 2008
eclipse.preferences.version=1
overviewRuler_migration=migrated_3.1